The problem of how to accommodate inconsistencies has attracted quite a number of researchers, in particular, in the area of database theory. The problem is also of concern in the study of belief change. For inconsistent beliefs are ubiquitous. However, comparatively little work has been devoted to discussing the problem in the literature of belief change. In this paper, I examine how adequate the AGM theory is as a logical framework for belief change (...) involving inconsistencies. The technique is to apply to Grove’s sphere system, a semantical representation of the AGM theory, logics that do not infer everything from contradictory premises, viz., paraconsistent logics. I use three paraconsistent logics and discuss three sphere systems that are based on them. I then examine the completeness of the postulates of the AGM theory with respect to the systems. At the end, I discuss some philosophical implications of the examination. (shrink)

Two systems of belief change based on paraconsistent logics are introduced in this article by means of AGM-like postulates. The first one, AGMp, is defined over any paraconsistent logic which extends classical logic such that the law of excluded middle holds w.r.t. the paraconsistent negation. The second one, AGMo , is specifically designed for paraconsistent logics known as Logics of Formal Inconsistency (LFIs), which have a formal consistency operator that allows to recover all the classical inferences. Besides the (...) three usual operations over belief sets, namely expansion, contraction and revision (which is obtained from contraction by the Levi identity), the underlying paraconsistent logic allows us to define additional operations involving (non-explosive) contradictions. Thus, it is defined external revision (which is obtained from contraction by the reverse Levi identity), consolidation and semi-revision, all of them over belief sets. It is worth noting that the latter operations, introduced by S. Hansson, involve the temporary acceptance of contradictory beliefs, and so they were originally defined only for belief bases. Unlike to previous proposals in the literature, only defined for specific paraconsistent logics, the present approach can be applied to a general class of paraconsistent logics which are supraclassical, thus preserving the spirit of AGM. Moreover, representation theorems w.r.t. constructions based on selection functions are obtained for all the operations. (shrink)

We give a model for iterated belief change in multi-agent systems. The formal tool we use for this is a combination of modal and dynamic logic. Two core notions in our model are the expansion of the knowledge and beliefs of an agent, and the processing of new information. An expansion is defined as the change in the knowledge and beliefs of an agent when it decides to believe an incoming formula while holding on to its current (...) propositional beliefs. To prevent our agents from forming inconsistent beliefs they do not expand with every piece of information they receive. Instead, our agents remember their original beliefs and every piece of information they receive. After every receipt of information they decide which subset of the received information should be incorporated into their original beliefs. This procedure is called the processing of new information. We show that our model of belief update behaves in an intuitive way and that it is not sensitive to criticism on comparable models. (shrink)

This study realizes belief/reliability change of a judge in a legal judgment by dynamic epistemic logic. A key feature of DEL is that possibilities in an agent’s belief can be represented by a Kripke model. This study addresses two difficulties in applying DEL to a legal case. First, since there are several methods for constructing a Kripke model, our question is how we can construct the model from a legal case. Second, since this study employs several dynamic (...) operators, our question is how we can decide which operators are to be applied for belief/reliability change of a judge. In order to solve these difficulties, we have implemented a computer system which provides two functions. First, the system can generate a Kripke model from a legal case. Second, the system provides an inconsistency solving algorithm which can automatically perform several operations in order to reduce the effort needed to decide which operators are to be applied. By our implementation, the above questions can be adequately solved. With our analysis method, six legal cases are analyzed to demonstrate our implementation. (shrink)

Reasoning and change over inconsistent knowledge bases is of utmost relevance in areas like medicine and law. Argumentation may bring the possibility to cope with both problems. Firstly, by constructing an argumentation framework from the inconsistent KB, we can decide whether to accept or reject a certain claim through the interplay among arguments and counterarguments. Secondly, by handling dynamics of arguments of the AF, we might deal with the dynamics of knowledge of the underlying inconsistent KB. (...) Dynamics of arguments has recently attracted attention and although some approaches have been proposed, a full axiomatization within the theory of belief revision was still missing. A revision arises when we want the argumentation semantics to accept an argument. Argument Theory Change encloses the revision operators that modify the AF by analyzing dialectical trees—arguments as nodes and attacks as edges—as the adopted argumentation semantics. In this article, we present a simple approach to ATC based on propositional KBs. This allows to manage change of inconsistent KBs by relying upon classical belief revision, although contrary to it, consistency restoration of the KB is avoided. Subsequently, a set of rationality postulates adapted to argumentation is given, and finally, the proposed model of change is related to the postulates through the corresponding representation theorem. Though we focus on propositional logic, the results can be easily extended to more expressive formalisms such as first-order logic and description logics, to handle evolution of ontologies. (shrink)

A popular and plausible response against Laudan's “pessimistic induction” has been what I call “preservative realism,” which argues that there have actually been enough elements of scientific knowledge preserved through major theory‐change processes, and that those elements can be accepted realistically. This paper argues against preservative realism, in particular through a critical review of Psillos's argument concerning the case of the caloric theory of heat. Contrary to his argument, the historical record of the caloric theory reveals that beliefs about (...) the properties of material caloric, rejected by subsequent theories, were indeed central to the successes of the caloric theory. Therefore caloric remains a favorable case for Laudan. Further, I argue that even confirmed cases of preservation do not warrant an inference to truth. (shrink)

This article aims to help readers to learn about health care related cultural and religious beliefs and spiritual needs in Chinese communities. The recall diary of a severe acute respiratory syndrome (SARS)-infected intern working in Hoping Hospital in Taiwan during the 2003 SARS epidemic is presented and used to assist in understanding one patient’s spiritual activities when personally confronted with this newly emerging infectious disease. The article also gives an overview of the 2003 SARS epidemic in Taiwan, and discusses people’s (...) general perceptions towards infectious diseases, their coping strategies concerning disease, and their spiritual beliefs, the psychological impact of the 2003 SARS outbreak in Chinese communities, Chinese myths about infectious disease, and the religious activities of a SARS-infected intern in Taiwan. Recommendations are given on how to achieve quality holistic nursing care. (shrink)

The primary purpose of this study is to link the effects of consumer personality traits on green buying intention via the mediating variable of consumer ethical beliefs so as to extend the context of green buying intentions with consumer ethics literatures. Based on a survey of 545 Taiwanese respondents, consumer personality traits were found to significantly affect consumer ethical beliefs. The results also indicate that some dimensions of consumer ethical beliefs significantly predict consumer intention to buy green products. Generally speaking, (...) this study enhances our knowledge of consumers’ ethical decision-making in the context of green consumption behaviors. Theoretical and managerial implications, limitations, and future research are also provided. (shrink)

Humans can attribute beliefs to others. However, it is unknown to what extent this ability results from an innate biological endowment or from experience accrued through child development, particularly exposure to language describing others' mental states. We test the viability of the language exposure hypothesis by assessing whether models exposed to large quantities of human language display sensitivity to the implied knowledge states of characters in written passages. In pre‐registered analyses, we present a linguistic version of the False Belief (...) Task to both human participants and a large language model, GPT‐3. Both are sensitive to others' beliefs, but while the language model significantly exceeds chance behavior, it does not perform as well as the humans nor does it explain the full extent of their behavior—despite being exposed to more language than a human would in a lifetime. This suggests that while statistical learning from language exposure may in part explain how humans develop the ability to reason about the mental states of others, other mechanisms are also responsible. (shrink)

The empirical study of belief is emerging at a rapid clip, uniting work from all corners of cognitive science. Reliance on belief in understanding and predicting behavior is widespread. Examples can be found, inter alia, in the placebo, attribution theory, theory of mind, and comparative psychological literatures. Research on belief also provides evidence for robust generalizations, including about how we fix, store, and change our beliefs. Evidence supports the existence of a Spinozan system of belief (...) fixation: one that is automatic and independent of belief rejection. Independent research supports the existence of a system of fragmented belief storage: one that relies on large numbers of causally isolated, context-sensitive stores of belief in memory. Finally, empirical and observational data support at least two systems of belief change. One system adheres, mostly, to epistemological norms of updating; the other, the psychological immune system, functions to guard our most centrally held beliefs from potential inconsistency with newly formed beliefs. Refining our under- standing of these systems can shed light on pressing real-world issues, such as how fake news, propaganda, and brainwashing exploit our psychology of belief, and how best to construct our modern informational world. (shrink)

Retailers like to use different colors to present the sale price and original price when they are presenting a promotion price. How does the inconsistent color presentation of the prices influence consumers’ purchase likelihood? The extant research does not consider this question. This article will address this question. Drawing on incongruence theory and the persuasion knowledge model, this article proposes that when the color of the sale price is inconsistent with that of the original price, consumers show less (...) preference for the sale price. The reason is that consumers perceive the price as being less trustworthy, which leads to a lower purchase likelihood. Furthermore, this effect is affected by the brand awareness of products. Specifically, when products are less-known brands, the inconsistent colors of the sale price and original price will lead to a lower purchase likelihood. In contrast, when products are well-known brands, the inconsistent colors of the sale price and original price will lead to a high purchase likelihood. In this article, four studies are used to verify these hypotheses, and implications of theory and practice of the present research are discussed. (shrink)

C.S. Peirce's and Isaac Levi's accounts of the belief-doubt-belief model are discussed and evaluated. It is argued that the contemporary study of belief change has metamorphosed into a branch of philosophical logic where empirical considerations have become obsolete. A case is made for reformulations of belief change systems that do allow for empirical tests. Last, a belief change system is presented that (1) uses finite representations of information, (2) can adequately deal with (...) inconsistencies, (3) has finite operations of change, (4) can do without extra-logical elements, and (5) only licenses consistent beliefs. (shrink)

Consistency is usually seen as one of the hallmarks and a cardinal virtue of moral theory, as well as of any defensible real-life moral perspective. In everyday life a consistent set of moral beliefs is conductive to moral clarity, communicability, responsibility and responsiveness. But this is just one side of the story. In this paper I argue that inconsistency, properly understood, is a productive and constructive aspect of both moral philosophy and our moral lives. After an introductory glance at Ralf (...) Waldo Emerson and Hannah Arendt, the argument proceeds in three main steps. First, I discuss the philosophical importance of paying heed to inconsistencies in our moral lives, which often are prematurely pruned from moral philosophy. Second, I discuss the positive moral roles of inconsistency in terms of responsiveness to different situations, values, needs and concerns that call upon our attention in everyday life. Third, I argue that moral inconsistencies contribute to the necessary adaptability of our moral understandings to changing conditions. Fourth, in the place of a conclusion, I revisit the issue of consistency, clarity and accountability. (shrink)

A focus group study using four groups of food shoppers provides insights into consumers’ knowledge, beliefs, and behaviors regarding organic foods. Two focus groups consisted of shoppers who regularly bought organic foods and two focus groups of shoppers who predominantly purchased conventional foods. Participants in one of the conventional groups were all Caucasian; in the other they were all African-American. While familiarity with organic foods was much lower in the African-American group, its members were more receptive and positive towards organic (...) foods. Likewise, the African-American shoppers were more accepting of price premiums for organics foods. In comparing the two organic shopper groups with the two conventional shopper groups, it was found that the former were generally more knowledgeable about organic foods. They were also more likely to follow a special diet than conventional Caucasian shoppers. However, the behavior of organic shoppers varied widely. The research supports examining social justice and access as motivations for changing policies to support organic agriculture. (shrink)

Consumer ethics is the moral principles and standards that guide consumers to determine the certain consumption behaviors are ethically right or wrong. Whereas cultural and personal dimensions are crucial constructs affecting individual ethical attitudes and behaviors, few studies consider Confucian dynamism and the role of money in consumer ethics. Confucian dynamism, a cultural dimension based on Confucianism, has played a central role in guiding moral obligations and ethics in human relations in several East Asian countries. Thus, this study tested its (...) hypotheses using a sample of 521 respondents obtained via a systematic random sampling technique. The authors find that individuals with a higher tendency to Confucian dynamism are less tolerant of unethical practices. These findings also show that the role of money partially influences consumer ethical beliefs. Finally, we examine the impact of demographic variables and find age and education affect consideration of ethical values. (shrink)

There is a principle in things, about which we cannot be deceived, but must always, on the contrary, recognize the truth – viz. that the same thing cannot at one and the same time be and not be": with these words of the Metaphysics, Aristotle introduced the Law of Non-Contradiction, which was to become the most authoritative principle in the history of Western thought. However, things have recently changed, and nowadays various philosophers, called dialetheists, claim that this Law does not (...) hold unrestrictedly – that in peculiar circumstances the same thing may at the same time be and not be, and contradictions may obtain in the world. This book opens with an examination of the famous logical paradoxes that appear to speak on behalf of contradictions (e.g., the Liar paradox, the set-theoretic paradoxes such as Cantor’s and Russell’s), and of the reasons for the failure of the standard attempts to solve them. It provides, then, an introduction to paraconsistent logics – non-classical logics in which the admission of contradictions does not lead to logical chaos –, and their astonishing applications, going from inconsistent data base management to contradictory arithmetics capable of circumventing Gödel’s celebrated Incompleteness Theorem. The final part of the book discusses the philosophical motivations and difficulties of dialetheism, and shows how to extract from Aristotle’s ancient words a possible reply to the dialetheic challenge. How to Sell a Contradiction will appeal to anyone interested in non-classical logics, analytic metaphysics, and philosophy of mathematics, and especially to those who consider challenging our most entrenched beliefs the main duty of philosophical inquiry. (shrink)

I propose a novel hyperintensional semantics for belief revision and a corresponding system of dynamic doxastic logic. The main goal of the framework is to reduce some of the idealisations that are common in the belief revision literature and in dynamic epistemic logic. The models of the new framework are primarily based on potentially incomplete or inconsistent collections of information, represented by situations in a situation space. I propose that by shifting the representational focus of doxastic models (...) from belief sets to collections of information, and by defining changes of beliefs as artifacts of changes of information, we can achieve a more realistic account of belief representation and belief change. The proposed dynamic operation suggests a non-classical way of changing beliefs: belief revision occurs in non-explosive environments which allow for a non-monotonic and hyperintensional belief dynamics. A logic that is sound with respect to the semantics is also provided. (shrink)

On Hume’s account of motivation, beliefs and desires are very different kinds of propositional attitudes. Beliefs are cognitive attitudes, desires emotive ones. An agent’s belief in a proposition captures the weight he or she assigns to this proposition in his or her cognitive representation of the world. An agent’s desire for a proposition captures the degree to which he or she prefers its truth, motivating him or her to act accordingly. Although beliefs and desires are sometimes entangled, they play (...) very different roles in rational agency. In two classic papers (Lewis 1988, 1996), David Lewis discusses several challenges to this Humean picture, but ultimately rejects them. We think that his discussion of a central anti-Humean alternative – the desire-as-belief thesis – is in need of refinnement. On this thesis, the desire for proposition p is given by the belief that p is desirable. Lewis claims that ‘[e]xcept in trivial cases, [this thesis] collapses into contradiction’(Lewis 1996, p. 308). The problem, he argues, is that the thesis is inconsistent with the purportedly plausible requirement that one’s desire for a proposition should not change upon learning that the proposition is true; call this the invariance requirement. In this paper, we revisit Lewis’s argument. We show that, if one carefully distinguishes between non-evaluative and evaluative propositions, the desire-asbelief thesis can be rendered consistent with the invariance requirement. Lewis’s conclusion holds only under certain conditions: the desire-as-belief thesis conflicts with the invariance requirement if and only if there are certain correlations between non-evaluative and evaluative propositions. But when there are such correlations, we suggest, the invariance requirement loses its plausibility. Thus Lewis’s argument against the desire-as-belief thesis appears to be valid only in cases in which it is unsound. (shrink)

Backpacker travel has become an imperative trend in modern tourism. Previous research, however, has not discussed in-depth the intentions and motivations of accommodation selection, in particular, the religious organization e.g. church, mosque, synagogue, and temple affiliated pilgrim hostel. To fill the gap of previous studies, this study provides a new research direction involving the pilgrim hostel playing an essential role as more than mere pilgrim accommodation; pilgrim hostels in Taiwan have surprisingly included a certain percentage of backpacker tourists. A survey (...) addressed the primary identity and service content perceptions of lodgers. Two historical temple-affiliated pilgrim hostels generated 287 valid responses; 112 backpackers, composing 39 % of the sample units, participated in person. Study findings indicated many significant differences between pilgrims and backpackers regarding self-recognised identity on journeys and perceptions of pilgrim hostel service content (for example, religious identification, reason for lodging, total travel expense, number of nights stayed, customer satisfaction, and service value). Implications of these findings provide suggestions and practical applications for the tourism stakeholder and for future research. (shrink)

Agents need to be able to change their beliefs; in particular, they should be able to contract or remove a certain belief in order to restore consistency to their set of beliefs, and revise their beliefs by incorporating a new belief which may be inconsistent with their previous beliefs. An influential theory of belief change proposed by Alchourron, G¨ardenfors and Makinson (AGM) [1] describes postulates which a rational belief revision and contraction operations should (...) satisfy. The AGM postulates have been perceived as characterising idealised rational reasoners, and the corresponding belief change operations are considered unsuitable for implementable agents due to their high computational cost [3]. The main result of this paper is showing that an efficient (linear time) belief contraction operation nevertheless satisfies all but one of the AGM postulates for contraction. This contraction operation is defined for a realistic rule-based agent which can be seen as a reasoner in a very weak logic; although the agent’s beliefs are deductively closed with respect to this logic, checking consistency and tracing dependencies between beliefs is not computationally expensive. Finally, we give a non-standard definition of belief revision in terms of contraction for our agent. (shrink)

Spirituality has been a part of nursing for many centuries and represents an essential value for people, including nurses and patients. Cumulative evidence points to the positive contribution of spiritually on health and wellbeing. However, there is little clarity about what spirituality means. The literature reveals that nurses have ascribed a diversity of interpretations to spirituality. However, no studies have investigated how registered nurses construct their understanding of spirituality using a critical discourse analysis approach. Therefore, the aim of this study (...) was to uncover how registered nurses construct their understanding of spirituality using a critical discourse analysis approach. Twenty registered nurses from a non‐denominational public hospital and a faith‐based private hospital were interviewed about their understanding of spirituality and practice of spiritual care. A critical discourse analysis approach was used in the examination of the interview texts to uncover underlying social and power features. Links were made between the linguistic features the registered nurses used in their interviews and the broader social context of the study. Three discourses emerged from the interview texts. These include constructing spirituality through personal religious beliefs discourse, holistic discourse and empathetic care discourse. The findings of this study have implications for nurse education and policy makers. (shrink)

Isaac Levi has claimed that our reliance on the testimony of others, and on the testimony of the senses, commonly produces inconsistency in our set of full beliefs. This happens if what is reported is inconsistent with what we believe to be the case. Drawing on a conception of the role of beliefs in inquiry going back to Dewey, Levi has maintained that the inconsistent belief corpus is a state of ``epistemic hell'': it is useless as a (...) basis for inquiry and deliberation. As he has also noticed, the compatibility of these two elements of his pragmatist epistemology could be called into question. For if inconsistency means hell, how can it ever be rational to enter that state, and on what basis could we attempt to regain consistency? Levi, nonetheless, has tried to show that the conflict is only apparent and that no changes of his theory are necessary. In the main part of the paper I argue, by contrast, that his attempts to reconcile these components of his view are unsuccessful.The conflict is real andthus presents a genuine threat to Deweyan pragmatism, as understood by Levi. After an attempt to pinpoint exactly where the source of the problem lies, I explore some possibilities for how to come to grips with it. I conclude that Levi can keep his fundamental thesis concerning the role of beliefs in inquiry and deliberation, provided that he (i) gives up the view that the agent can legitimately escape from inconsistency, and (ii) modifies his account of prediction alias deliberate expansion by acknowledging a third desideratum, besides probability and informational value, namely, not to cause permanent breakdown further down the line of inquiry. The result is a position which is more similar to Peter Gärdenfors's than is Levi's original theory, while retaining the basic insights of the latter. (shrink)

Isaac Levi has claimed that our reliance on the testimony of others, and on the testimony of the senses, commonly produces inconsistency in our set of full beliefs. This happens if what is reported is inconsistent with what we believe to be the case. Drawing on a conception of the role of beliefs in inquiry going back to Dewey, Levi has maintained that the inconsistent belief corpus is a state of ``epistemic hell'': it is useless as a (...) basis for inquiry and deliberation. As he has also noticed, the compatibility of these two elements of his pragmatist epistemology could be called into question. For if inconsistency means hell, how can it ever be rational to enter that state, and on what basis could we attempt to regain consistency? Levi, nonetheless, has tried to show that the conflict is only apparent and that no changes of his theory are necessary. In the main part of the paper I argue, by contrast, that his attempts to reconcile these components of his view are unsuccessful.The conflict is real andthus presents a genuine threat to Deweyan pragmatism, as understood by Levi. After an attempt to pinpoint exactly where the source of the problem lies, I explore some possibilities for how to come to grips with it. I conclude that Levi can keep his fundamental thesis concerning the role of beliefs in inquiry and deliberation, provided that he (i) gives up the view that the agent can legitimately escape from inconsistency, and (ii) modifies his account of prediction alias deliberate expansion by acknowledging a third desideratum, besides probability and informational value, namely, not to cause permanent breakdown further down the line of inquiry. The result is a position which is more similar to Peter Gärdenfors's than is Levi's original theory, while retaining the basic insights of the latter. (shrink)

Abstract Objective Intuitive inquiry meditation is a unique form of Buddhist Zen/Chan practice in which individuals actively and intuitively utilize the cognitive functions to cultivate doubt and explore the concept of the self. This event-related potential (ERP) study aimed to investigate the neural correlates by which long-term practice of intuitive inquiry meditation induces flexibility in self-schema processing, highlighting the role of doubt and belief processes in this exploration. Methods Twenty experienced and eighteen beginner meditators in intuitive inquiry meditation were (...) recruited for this ERP study. The interactions of doubt and belief processes with concepts of the self and Buddha were investigated. A 128-channel electroencephalography (EEG) system was used to collect EEG data. The ERP data were processed and analyzed using EEGLAB. Results The data showed a double dissociation between beginners and experienced meditators (monks) in the concepts of the self and Buddha: intuitive inquiry meditation reduced the brain activity of beginners when viewing Buddha image but not when viewing a picture of themselves. However, in experienced meditators, intuitive inquiry meditation reduced brain activity when they viewed images of themselves but not when they viewed Buddha image. Further event-related spectral perturbation (ERSP) analysis revealed that experienced meditators had a greater theta spectral power and higher intertrial coherence (ITC), indicating that they could more flexibly modulate ongoing cognitive processes than beginner meditators. Conclusion Intuitive inquiry meditation could help beginner meditators detach from the concept of Buddha but not from that of the self. However, in experienced meditators, the opposite was true. ERSP analysis showed that only experienced meditators exhibited significant alterations in brain activity dynamics during intuitive inquiry meditation, which might enable these practitioners to become spontaneously detached from the concept of the self. These findings revealed the neural mechanism by which long-term practice of intuitive inquiry meditation can influence the doubting process and its effect on self-schema processing. (shrink)

Through examples of embodied and learning -centered pedagogy, we discuss transformative learning of transgressive topics. We begin with a taxonomy of types of learning our students undergo as they resolve inconsistencies among their pre-existing beliefs and the material they confront in our course on feminist ethics and epistemology. We then discuss ways to help students maximize their learning while confronting internal inconsistencies. While we focus on feminist topics, our approach is broad enough to be relevant to anyone teaching a transgressive (...) or controversial topic. (shrink)

The theory of belief revision deals with models of states of belief and transitions between states of belief. The goal of the theory is to describe what should happen when you update a state of belief with new information. In the most interesting case, the new information is inconsistent with what you believe. This means that some of the old beliefs have to be deleted if one wants to remain within a consistent state of (...) class='Hi'>belief. A guiding idea is that the change should be minimal so that as few of the old beliefs as possible are given up.A central problem for the theory of belief revision is what is meant by a minimal change of a state of belief. The solution to this problem depends to a large extent on the model of a state of belief that is adopted. (shrink)

Although emerging evidence has implicated structural/functional abnormalities of patients with Autism Spectrum Disorder, definitive neuroimaging markers remain obscured due to inconsistent or incompatible findings, especially for structural imaging. Furthermore, brain differences defined by statistical analysis are difficult to implement individual prediction. The present study has employed the machine learning techniques under the unified framework in neuroimaging to identify the neuroimaging markers of patients with ASD and distinguish them from typically developing controls. To enhance the interpretability of the machine learning (...) model, the study has processed three levels of assessments including model-level assessment, feature-level assessment, and biology-level assessment. According to these three levels assessment, the study has identified neuroimaging markers of ASD including the opercular part of bilateral inferior frontal gyrus, the orbital part of right inferior frontal gyrus, right rolandic operculum, right olfactory cortex, right gyrus rectus, right insula, left inferior parietal gyrus, bilateral supramarginal gyrus, bilateral angular gyrus, bilateral superior temporal gyrus, bilateral middle temporal gyrus, and left inferior temporal gyrus. In addition, negative correlations between the communication skill score in the Autism Diagnostic Observation Schedule and regional gray matter volume in the gyrus rectus, left middle temporal gyrus, and inferior temporal gyrus have been detected. A significant negative correlation has been found between the communication skill score in ADOS_G and the orbital part of the left inferior frontal gyrus. A negative correlation between verbal skill score and right angular gyrus and a significant negative correlation between non-verbal communication skill and right angular gyrus have been found. These findings in the study have suggested the GM alteration of ASD and correlated with the clinical severity of ASD disease symptoms. The interpretable machine learning framework gives sight to the pathophysiological mechanism of ASD but can also be extended to other diseases. (shrink)

In our approach credibility of information plays an importantrole in modeling of both belief state and belief change [4]. It turns out thatthe credibility-based consequence operators used to define the notion of beliefstate tolerate inconsistency under some conditions.

The practice of mathematical word problem is ubiquitous and thought to impact academic achievement. However, the underlying neural mechanisms are still poorly understood. In this study, we investigate how lexical consistency of word problem description is modulated in adults' brain responses during word problem solution. Using functional magnetic resonance imaging methods, we examined compare word problems that included relational statements, such as “A dumpling costs 9 dollars. A wonton is 2 dollars less than a dumpling. How much does a wonton (...) cost?” and manipulated lexical consistency and problem operation. We found a consistency by operation interaction in the widespread fronto-insular-parietal activations, including the anterior insula, dorsoanterior cingulate cortex, middle frontal gyrus, and intraparietal sulcus, such that inconsistent problems engaged stronger activations than consistent problems for addition, whereas the consistency effect was inverse for subtraction. Critically, these results were more salient in the less successful problem solvers than their more successful peers. Our study is the first to demonstrate that lexical consistency effects on arithmetic neural networks are modulated during reading word problem that required distinct arithmetic operations. More broadly, our study has strong potentials to add linkage between neuroscience and education by remediating deficits and enhance instruction design in the school curriculum. (shrink)

While the traditional economic wisdom believes that an individual will become better off by being given a larger opportunity set to choose from, in this paper we question this belief and build a formal theoretical model that introduces decision costs into the rational decision process. We show, under some reasonable conditions, that a larger feasible set may actually lower an individual’s level of satisfaction. This provides a solid economic underpinning for the Simon prediction.

In this study, we examine the problem of belief revision, defined as deciding whic h of several initially-accepted sentences to disbelieve, when new information presents a l ogical inconsistency with the initial set. In the first three experiments, the initial sentence set included a conditional sentence, a non-conditional sentence, and an inferred conclusi on drawn from the first two. The new information contradicted the inferred conclusion. Results indicated that the conditional sentences were more readily abandoned than non-c onditional sentences, (...) even when either choice would lead to a consistent belief state, and that this preference was more pronounced when problems used natural language cover sto ries rather than symbols. The pattern of belief revision choices differed depending on whe ther the contradicted conclusion from the initial belief set had been a modus ponens or m odus tollens inference. Two additional experiments examined alternative model-theoretic definitions of minimal change to a belief state, using problems that contained multiple mo dels of the initial belief state and of the new information that provided the contradiction. The results indicated that people did not follow any of four formal definitions of minimal change on these problems. The new information and the contradiction it offered was not, for example, used to select a particular model of the initial belief state as a way of reconci ling the contradiction. The preferred revision was to retain only those initial sentences th at had the same, unambiguous truth value within and across both the initial and new info rmation sets. The study and results are presented in the context of certain logic-based for malizations of belief revision, syntactic and model-theoretic representations of belief stat es, and performance models of human deduction. Principles by which some types of sent ences might be more "entrenched" than others in the face of contradiction are also discuss ed from the perspective of induction and theory revision. (shrink)

The principle of belief persistence, or conservativity principle, states that ’\Nhen changing beliefs in response to new evidence, you should continue to believe as many of the old beliefs as possible' (Harman, 1986, p. 46). In particular, this means that if an individual gets new information, she has to accommodate it in her new belief set (the set of propositions she believes), and, if the new information is not inconsistent with the old belief set, then (1) (...) the individual has to maintain all the beliefs she previously had and (2) the change should be minimal in the sense that every proposition in the new belief set must be deducible from the union of the old belief set and the new information (see, e.g., Gardenfors, 1988; Stalnaker, 1984). We focus on this minimal notion of belief persistence and characterize it both semantically and syntactically. A ’possible world' semantic formalization of the principle easily comes to mind. The set of all the propositions that the individual believes corresponds to the set of states of the world that she considers possible and is a subset of the set of states that are not ruled out by the individual's information (or knowledge). It is required that, if the individual considers a state possible and her new information does not exclude this state, then she continue to consider it possible. Furthermore, if the individual regards a particular state as impossible, then she should continue to regard it as impossible unless her new information excludes all the states that she previously regarded as possible. This is closely related to the.. (shrink)

The process of completing, correcting and prioritising specifications is an essential but very complex task for the maintenance and improvement of software systems. The preservation of functionalities and the ability to accommodate changes are main objectives of the software development cycle to guarantee system reliability. Logical theories able to fully model such processes are still insufficient. In this paper we propose a full formalisation of such operations on software systems inspired by the Alchourrón–Gärdenfors–Makinson paradigm for belief revision of human (...) epistemic states. We represent specifications as finite sets of formulas equipped with a priority relation that models functional entrenchment of properties. We propose to handle specification incompleteness through ordered expansion, inconsistency through ordered safe contraction and prioritisation through revision with reordering, and model all three in an algorithmic fashion. We show how the system satisfies basic properties of the AGM paradigm, including Levi’s and Harper’s identities. We offer a concrete example and complexity results for the inference and model checking problems on revision. We conclude by describing resilience and evolvability of software systems based on such revision operators. (shrink)

One of the main applications of the logic of theory change is to the epistemic analysis of conditionals via the so-called Ramsey test. In the first part of the present note this test is studied in the “limiting case” where the theory being revised is inconsistent, and it is shown that this case manifests an intrinsic incompatibility between the Ramsey test and the AGM postulate of “success”. The paper then analyses the use of the postulate of success, and (...) a weakening of it, generating axioms of conditional logic via the test, and it is shown that for certain purposes both success and weak success are quite superfluous. This suggests the proposal of abandoning both success and weak success entirely, thus permitting retention of the postulate of “preservation” discarded by Gärdenfors. (shrink)

Through examples of embodied and learning-centered pedagogy, we discuss transformative learning of transgressive topics. We begin with a taxonomy of types of learning our students undergo as they resolve inconsistencies among their pre-existing beliefs and the material they confront in our course on feminist ethics and epistemology. We then discuss ways to help students maximize their learning while confronting internal inconsistencies. While we focus on feminist topics, our approach is broad enough to be relevant to anyone teaching a transgressive or (...) controversial topic. (shrink)

Learning by doing, a change in beliefs due to experience, is crucial to the adaptive behaviours of organizations as well as the individuals that inhabit them. In this review paper, we summarise different pathologies of learning noted in past literature using a common underlying mechanism based on self-confirming biased beliefs. These are inaccurate beliefs about the environment that are self-confirming because acting upon these beliefs prevents their falsification. We provide a formal definition for self-confirming biased beliefs as an attractor (...) that can lock learning by doing systems into suboptimal actions and provide illustrations based on simulations. We then compare and distinguish self-confirming biased beliefs from other related theoretical constructs, including confirmation bias, self-fulfilling prophecies, and sticking points, and underscore that self-confirming biased beliefs underlie inefficient self-confirming equilibria and hot-stove effects. Lastly, we highlight two fundamental ways to escape self-confirming biased beliefs: taking actions inconsistent with beliefs and getting information on unchosen actions. (shrink)

A sentence A is epistemically less entrenched in a belief state K than a sentence B if and only if a person in belief state K who is forced to give up either A or B will give up A and hold on to B. This is the fundamental idea of epistemic entrenchment as introduced by Gärdenfors (1988) and elaborated by Gärdenfors and Makinson (1988). Another distinguishing feature of relations of epistemic entrenchment is that they permit particularly simple (...) and elegant construction recipes for minimal changes of belief states. These relations, however, are required to satisfy rather demanding conditions. In the present paper we liberalize the concept of epistemic entrenchment by removing connectivity, minimality and maximality conditions. Correspondingly, we achieve a liberalization of the concept of rational belief change that does no longer presuppose the postulates of success and rational monotony. We show that the central results of Gärdenfors and Makinson are preserved in our more flexible setting. Moreover, the generalized concept of epistemic entrenchment turns out to be applicable also to relational and iterated belief changes. (shrink)

This book explains how the logic of theory change employs formal models in the investigation of changes in belief states and databases. The topics covered include equivalent characterizations of AGM operations, extended representations of the belief states, change operators not included in the original framework, iterated change, applications of the model, its connections with other formal frameworks, and criticism of the model.

In this paper it is argued that, in order to solve the problem of iterated belief change, both the belief state and its input should be represented as epistemic entrenchment (EE) relations. A belief revision operation is constructed that updates a given EE relation to a new one in light of an evidential EE relation. It is shown that the operation in question satisfies generalized versions of the Gärdenfors revision postulates. The account offered is motivated by (...) Spohn's ordinal conditionalization functions, and can be seen as the Jeffrization of a proposal considered by Rott. (shrink)

The axiom of recovery, while capturing a central intuition regarding belief change, has been the source of much controversy. We argue briefly against putative counterexamples to the axiom—while agreeing that some of their insight deserves to be preserved—and present additional recovery-like axioms in a framework that uses epistemic states, which encode preferences, as the object of revisions. This makes iterated revision possible and renders explicit the connection between iterated belief change and the axiom of recovery. We (...) provide a representation theorem that connects the semantic conditions we impose on iterated revision and our additional syntactical properties. We show interesting similarities between our framework and that of Darwiche–Pearl (Artificial Intelligence 89:1–29 1997). In particular, we show that intuitions underlying the controversial (C2) postulate are captured by the recovery axiom and our recovery-like postulates (the latter can be seen as weakenings of (C2)). We present postulates for contraction, in the same spirit as the Darwiche–Pearl postulates for revision, and provide a theorem that connects our syntactic postulates with a set of semantic conditions. Lastly, we show a connection between the contraction postulates and a generalisation of the recovery axiom. (shrink)

One of the standard principles of rationality guiding traditional accounts of belief change is the principle of minimal change: a reasoner's belief corpus should be modified in a minimal fashion when assimilating new information. This rationality principle has stood belief change in good stead. However, it does not deal properly with all belief change scenarios. We introduce a novel account of belief change motivated by one of Grice's maxims of conversational (...) implicature: the reasoner's belief corpus is modified in a minimal fashion to assimilate exactly the new information. In this form of belief change, when the reasoner revises by new information p ∨ q their belief corpus is modified so that p∨q is believed but stronger propositions like p∧q are not, no matter what beliefs are in the reasoner's initial corpus. We term this conservative belief change since the revised belief corpus is a conservative extension of the original belief corpus given the new information. (shrink)

In this paper we present a brief overview of logic-based belief change, a research area concerned with the question of how a rational agent ought to change its mind in the face of new, possibly conflicting, information. Our intention is to provide the reader with a basic introduction to the work done in this area over the past 30 years. In doing so we hope to sketch the main historical results, provide appropriate pointers to further references, and (...) discuss some current developments. We trust that this will spur on the interested reader to learn more about the topic, and perhaps to join us in the further development of this exciting field of research. (shrink)

This paper is concerned with the construction of a base contraction (revision) operation such that the theory contraction (revision) operation generated by it will be fully AGM-rational. It is shown that the theory contraction operation generated by Fuhrmann's minimal base contraction operation, even under quite strong restrictions, fails to satisfy the "supplementary postulates" of belief contraction. Finally Fuhrmann's construction is appropriately modified so as to yield the desired properties. The new construction may be described as involving a modification of (...) safe (base) contraction so as to make it maxichoice. (shrink)

This paper uses Popper's treatment of probability and an epistemic constraint on probability assignments to conditionals to extend the Bayesian representation of rational belief so that revision of previously accepted evidence is allowed for. Results of this extension include an epistemic semantics for Lewis' theory of counterfactual conditionals and a representation for one kind of conceptual change.